CCF形式化方法专委会完成换届选举
2019年7月26日， CCF形式化方法专委会在北京召开换届会议。CCF专委工委主任、清华大学教授胡事民作为CCF特派员亲临现场监督本次换届选举。
依据新修订的《CCF专业委员会领导机构选举办法》，今年CCF所有专委会的换届将实行主任、副主任、秘书长均为公开选举和差额选举。到场的78名专委委员通过不记名投票方式，选举出专委主任1名、秘书长1名、副主任3名。
新一届专委负责人将于2020年1月11日与CCF第十二届理事会同时上任。
新一届形式化方法专委会负责人名单：
主 任：王 戟 国防科技大学
副主任：傅育熙 上海交通大学
蒲戈光 华东师范大学
詹乃军 中科院软件所
秘书长：董 威 国防科技大学
<<< 上一篇
CCF理论计算机科学专委会完成换届选举
<<< 下一篇 CCF计算机视觉专委会换届选举的公告
